nfa and dfa examples